From 42d064c62fbd5257d425b14e5b67b9e914846b73 Mon Sep 17 00:00:00 2001
From: Arnaud B <arnaud.bonatti@gmail.com>
Date: Fri, 21 Sep 2018 12:25:23 +0000
Subject: [PATCH] Make dashed border-style work correctly
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

There’s a short-path done for focus rectangles, but it can be taken in other conditions, and then fail occasionally to render a dashed line if the border-width is too big.
---
 gtk/gtkrenderborder.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gtk/gtkrenderborder.c b/gtk/gtkrenderborder.c
index f0edb8cb0c..1c568532ce 100644
--- a/gtk/gtkrenderborder.c
+++ b/gtk/gtkrenderborder.c
@@ -405,8 +405,8 @@ set_stroke_style (cairo_t        *cr,
        */
       if (n == nearbyint (n))
         {
-          segments[0] = 1;
-          segments[1] = 2;
+          segments[0] = line_width;
+          segments[1] = 2 * line_width;
         }
       else
         {
-- 
2.30.2